linear algebra subspace proofs